all:
	cp glob.texi glob.info

clean distclean mostlyclean maintainer-clean:
	rm -f glob.?? glob.info
